($i$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$